<?php

define( "CRAWLER_TIME_FILE", "last_crawler_time.txt" );
define( "CRAWLER_DELTA_FILE", "last_crawler_items.txt" );

/**
 * helper function
 * 
 * @param type $string
 * @param type $head
 * @param type $tail
 * @return type 
 */
function GetInnerString( $string, $head, $tail ){
    list( $junk, $left ) = split( $head, $string);
    list( $result, $junk ) = split( $tail, $left );
    
    return $result;
}
?>
